/*
 * pc/console-serial.hh - PC serial console interface.
 * Copyright (C) 2007  Mikhail Vorozhtsov
 * See the LICENSE section of the README file for details.
 */

/* $Id$ */

#ifndef HEADER_PC_CONSOLE_SERIAL_HH
#define HEADER_PC_CONSOLE_SERIAL_HH

START_NAMESPACE (pc)

class serial_console
{
public:
  static void init ();
  static void putc (char c);
};

END_NAMESPACE

#endif /* HEADER_PC_CONSOLE_SERIAL_HH */

